step(ii,al,tm(s,[ctxm(pi_,idp1,ip,ip_ii,ip_ii),ctxm(pi_,u,ip,ip_al_1,ip_al_1)],pri(lst,[pri(lst,[pri(lst,[ctxm(pi_,idp1,id,id_ii,id_ii),pri(pk,[ctxm(pi_,idp1,kM,kM_ii,kM_ii)]),ctxm(pi_,dot,n_idp1,in_ii,cn_ii)]),pri(sig,[pri(lst,[ctxm(pi_,idp1,id,id_ii,id_ii),pri(pk,[ctxm(pi_,idp1,kM,kM_ii,kM_ii)]),ctxm(pi_,dot,n_idp1,in_ii,cn_ii)]),ctxm(pi_,ca,kM,kM_ca,kM_ca)])]),ctxm(pi_,dot,n_b,ss(pi_,i_n_b),ss(pi_,c_n_b))]))).
